CS 201, Summer 2015 — July 9th — Exam 2 Name: Questionpoints] State a big-O upper bound on the running time of the following method, where the problem size N is the number of elements in the array passed as t

Source URL: ycpcs.github.io

• Software engineering
• Computer programming
• Programming language theory
• Subroutines
• C++
• Java
• C++ classes
• Parameter
• ALGOL 68
• This
• Generics in Java

The Java™ Language Specification The Java™ Series Lisa Friendly, Series Editor Bill Joy, Technical Advisor

Source URL: titanium.cs.berkeley.edu

• Cross-platform software
• Java
• Concurrent programming languages
• Object-oriented programming
• C++
• Constant
• Class
• C Sharp
• Literal
• Constructor
• C++ classes
• Inheritance

Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f

Source URL: www.cs.princeton.edu

• Software engineering
• Programming language theory
• Theoretical computer science
• C++
• Logic in computer science
• Proof assistants
• Data types
• SHA-2
• Formal verification
• Separation logic
• Coq
• Functional programming

The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier Adam Chlipala MIT CSAIL

Source URL: adam.chlipala.net

• Software engineering
• Theoretical computer science
• Computer programming
• Formal methods
• Logic in computer science
• Macro
• Hoare logic
• Assertion
• Separation logic
• C preprocessor
• Postcondition
• Assembly language

Perl Primer An Introduction to Perl for C++ Programmers by Frank McCown and Tim Baird Harding University PERL is the Practical Extraction and Report Language (or Pathologically Eclectic Rubbish Lister)

Source URL: www.harding.edu

• Cross-platform software
• Scripting languages
• Object-oriented programming languages
• High-level programming languages
• Procedural programming languages
• Perl
• Foreach loop
• AWK
• D
• For loop
• Hash function
• C++ classes

Proposal: Modify the use of the second digit of the program code C. Livingstone, Issue: The structure of the academic program code as specified at the time Banner was implemented did not anticipate the need for

Source URL: www.dmi.illinois.edu

• Software engineering
• Computing
• Programming language theory
• Procedural programming languages
• ASCII
• C

Rationale for TRExtension to the programming language C Decimal Floating-Point Arithmetic

Source URL: www.open-std.org

• Computer arithmetic
• IEEE floating point
• Floating point
• C99
• Double-precision floating-point format
• NaN
• ANSI C
• Half-precision floating-point format
• C
• Decimal floating point
• Long double
• Decimal

The C11 and C++11 Concurrency Model Mark John Batty Wolfson College University of Cambridge Saturday 29th November, 2014

Source URL: www.sigplan.org

• Computer memory
• Parallel computing
• Concurrent computing
• Compiler construction
• Programming language design
• Linearizability
• Memory model
• C++
• Thread
• Abstraction
• Concurrency
• Memory barrier

Published in:The Practical Application of Prolog - 1 { 3 AprilInstitute of Electrical Engineers, London Use of Prolog for developing a new programming language J. L. Armstrong, S. R. Virding, M. C. Williams Comput

Source URL: www.erlang.se

The C11 and C++11 Concurrency Model Mark John Batty Wolfson College University of Cambridge Saturday 29th November, 2014

Source URL: sigplan.org

• Computer memory
• Parallel computing
• Concurrent computing
• Compiler construction
• Programming language design
• Linearizability
• Memory model
• C++
• Thread
• Abstraction
• Concurrency
• Memory barrier